<?php
$db->disconnect();
dohtml_final();
?>
